#include "mul_usu32_sat.h"
#include "mul_wide_su32.h"
#include "rtwtypes.h"

uint32_T mul_usu32_sat(int32_T a, uint32_T b)
{
  uint32_T result;
  uint32_T u32_chi;
  mul_wide_su32(a, b, &u32_chi, &result);
  if ((int32_T)u32_chi >= 0) {
    if (u32_chi) {
      result = MAX_uint32_T;
    }
  } else {
    result = 0U;
  }

  return result;
}
